On an effective hierarchy of communicating processes: Separation principle and testing
نویسندگان
چکیده
منابع مشابه
On an Effective Hierarchy of Communicating Processes: Separation Principle and Testing
This paper is concerned with an effective hierarchy of guaranteed processes. A process satisfies a guarantee requirement when that requirement holds at some forthcoming point of every computation. Cy being the class of w-languages accepted by the base of this process hierarchy, this class of processes, namely Or, is a class of universal machines. Translated in these terms, our results throw lig...
متن کاملOn an Eeective Hierarchy of Communicating Processes: Separation Principle and Testing
In this paper, we will establish precise connections between innnitary languages and test equivalent concurent processes. More precisely, we will extend some negative results on the separability of classes of concurrent processes. Two processes are said separable if they can be separated from each other by means of another test process from the same class i.e., if one can nd a test that is succ...
متن کاملCyclic Communicating Processes: Hierarchy and Verification
We advocate Cyclic Communicating Processes (CCPs) as a viable and tractable model of computation for reactive systems. As the name suggests, the model consists of a network of sequential agents that communicate with each other. The crucial restriction is that the control flow of each agent is cyclic. The communication mechanism consists of the agents performing common actions together. At the l...
متن کاملSeparation Logic Semantics for Communicating Processes
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for separation in time as well as separation in space. It extends CSP in the direction of the pi-calculus: dynamic change of alphabet is achieved by communication of channel names. Separation is exploited to ensure that each c...
متن کاملan investigation of the impact of self monitoring on langauge teachers motivational practice and its effect on learners motivation
the central purpose of this study was to conduct a case study about the role of self monitoring in teacher’s use of motivational strategies. furthermore it focused on how these strategies affected students’ motivational behavior. although many studies have been done to investigate teachers’ motivational strategies use (cheng & d?rnyei, 2007; d?rnyei & csizer, 1998; green, 2001, guilloteaux & d?...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00027-8